منابع مشابه
IF-logic and Skolemization: falsity conditions for IF-formulas. section: Game Logics
GTS associates with every IF-sentence φ and suitable modelM a semantical game GM(φ), played by two players, one in the role of Verifier and one in the role of Falsifier. Moves in the game are choices for domain elements as assignments for the variables bound by the quantifiers ∃ (move for player in the role of Verifier) and ∀ (move for the player in the role of Falsifier) and choices for ‘left’...
متن کاملOnTruth-Conditions for If (but Not Quite Only If )
For—according to the lore—any attempt at pullingoff this featwill reduce themtomaterial implicationand that is decidedlynot agoodwayof assigning truth-conditions to ordinary indicative if s. That is too bad since it seems like they are bounded from above by strict implication (they are true when their antecedents straight out imply their consequents), are bounded from below by material implicat...
متن کاملFaith & falsity
A theory T is trustworthy iff, whenever a theory U is interpretable in T , then it is faithfully interpretable. In this paper we provide a characterization of trustworthiness. We provide a simple proof of Friedman’s Theorem that finitely axiomatized, sequential, consistent theories are trustworthy. We provide an example of a theory whose schematic predicate logic is complete Π2.
متن کاملAn Analysis of ‘if’ Sentences from the Standpoint of Communication’
This article examines ‘if‘ sentences and asks how one can explain the acceptability of one sentence over another in specific written contexts. It takes into account the temporal relations expressed in ‘if‘ sentences and the communicative intents that lie behind their use. The analysis presented has its roots in our work on robots that understand English. We hold the strong conviction that the m...
متن کاملConditions for Selection and Conceptualization in Diagrams and Sentences
This paper considers several ways in which diagrams minimally designate the selection and conceptualization of information compared to sentential forms of external representation (ER). We group these factors as different ways that an ER designates cognitive engagement (DCE) and propose that this concept is important in distinguishing and understanding differences between different classes of ER...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophia Scientae
سال: 2005
ISSN: 1281-2463,1775-4283
DOI: 10.4000/philosophiascientiae.549